1. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
2. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
